Integral of cos2x